CUDAPSAT=../Debug/GPUSATSolver

for file in *.cnf
do
	echo "File = $file"
	$CUDAPSAT $file

done
